O PORTALU BazTOL WYSZUKIWANIE ZGŁOŚ ZASÓB/UWAGI POMOC

BazTOL -> Wyszukiwanie zaawansowane -> Wynik wyszukiwania

Paramatry wyszukiwania:
Wyszukiwanie słów: mechanizacja matematyki
(w opisach rzeczowych)
Dziedziny: wszystkie
Typy: wszystkie
Ilość znalezionych zasobów: 1

Wyniki: 1 - 1 spośród 1


Formalized Mathematics
Czasopismo wydawane od 1989 roku przez Uniwersytet w Białymstoku. Poświęcone jest matematyce, w szczególności topologii oraz analizie matematycznej. Dostępne są pełne teksty publikacji z lat 1990-2013.
Więcej ...